Establishing Reliable Robot Behavior using Capability Analysis Tables
نویسندگان
چکیده
منابع مشابه
Establishing Performance Guarantees for Behavior-Based Robot Mis- sions Using an SMT Solver
In prior work [9] we developed an approach to formally representing behavior-based multi-robot programs, and the uncertain environments in which they operate, as process networks. We automatically extract a set of probabilistic equations governing program execution in that environment using a static analysis module called VIPARS, and solve these using a Dynamic Bayesian Network (DBN) to establi...
متن کاملGenerating optimal behaviors of mobile robot using behavior network with planning capability
This paper presents an approach to the optimal method for behavior generation of mobile robot. Recently, a hybrid system that supplements gap between reactive and plan-based approaches by employing a reactive system for lower level control for fast reaction and a planner for higher level for generation of optimal sequence of behaviors has gained popularity. Behavior network structures may gener...
متن کاملReliable Data Storage in Distributed Hash Tables
Distributed Hash Tables offer a resilient lookup service for unstable distributed environments. Resilient data storage, however, requires additional data replication and maintenance algorithms. These algorithms can have an impact on both the performance and the scalability of the system. In this paper, we describe the goals and design space of these replication algorithms. We examine an existin...
متن کاملAlgebra of Behavior Tables∗†
A design formalization based on behavior tables was presented at Lfm97. This paper describes ongoing work on a supporting tool, now in development. The goal is to make design derivation, the interactive construction of correct implementations, more natural and visually palatable while preserving the benefits of formal manipulation. We review the syntax and semantics of behavior tables, introduc...
متن کاملA Novel Multi-robot Coordination Method Using Capability Category
This paper presents a set of formal descriptions to the multi-robot task allocation problem mainly focusing on the capability category aspect. Both robot and task capability vectors are defined. Based upon the these, both single and multi-robot cooperative task accomplishment conditions are discussed. Based upon the capability category and task accomplishment condition, a novel combinatorial bi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2020
ISSN: 2075-2180
DOI: 10.4204/eptcs.319.3